Knihy od autora Alessandro Cimatti

Zobrazeno 1 – 4 z 4 výsledků

1. 

   Formal Methods for Hardware Verification

   Marco Bernardo, Alessandro Cimatti | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1352 Kč

   Koupit
2. 

   Software Engineering and Formal Methods

   Alessandro Cimatti, Marjan Sirjani | Springer International Publishing AG, 2017

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
3. 

   Theory and Applications of Satisfiability Testing -- SAT 2012

   Alessandro Cimatti, Roberto Sebastiani | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
4. 

   Formal Methods for Industrial Critical Systems

   Alessandro Cimatti, Laura Titolo | Springer, Berlin, 2023

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1535 Kč

   Koupit

Doručení zdarma pro objednávky nad 1499 Kč Zjistěte více